21.83/21.92	unsat
