7.96/10.04	unsat
