22.53/25.00	unsat
