36.38/39.02	unsat
