35.52/39.26	unsat
