3.38/5.87	unsat
