6.17/6.99	unsat
