4.15/6.02	unsat
