5.79/6.02	unsat
