39.72/39.89	unsat
