10.27/12.36	unsat
