6.17/10.04	unsat
