22.95/25.81	unsat
