10.00/10.14	unsat
