9.34/10.34	unsat
