19.18/20.92	unsat
