39.19/39.78	unsat
