19.77/23.50	unsat
