23.67/28.10	unsat
