39.68/39.92	unsat
