39.49/39.57	unsat
