21.37/23.93	unsat
