9.27/12.89	unsat
