22.55/25.15	unsat
