39.70/39.88	unsat
