5.59/10.14	unsat
