39.86/39.92	unsat
