8.46/12.07	unsat
