9.83/10.04	unsat
