10.37/12.69	unsat
