6.17/8.04	unsat
