4.77/6.02	unsat
