10.57/12.12	unsat
