3.38/6.09	unsat
