39.49/39.93	unsat
