1.38/3.76	unsat
