19.87/22.50	unsat
