9.46/11.85	unsat
