12.55/14.99	unsat
