9.66/10.04	unsat
