5.97/6.02	unsat
