39.03/39.85	unsat
