39.03/39.50	unsat
