5.17/6.02	unsat
