5.38/8.26	unsat
