20.67/23.80	unsat
