23.67/25.50	unsat
