22.27/25.62	unsat
