18.82/21.50	unsat
