9.46/12.85	unsat
