38.90/39.01	unsat
