18.86/19.92	unsat
