8.46/10.08	unsat
