9.27/10.08	unsat
