39.24/39.58	unsat
