8.36/10.04	unsat
