9.46/11.82	unsat
