22.92/25.00	unsat
