10.36/10.89	unsat
