22.85/25.52	unsat
