23.85/26.00	unsat
