8.39/10.04	unsat
