10.96/11.88	unsat
