9.23/10.54	unsat
