4.38/6.02	unsat
