25.22/32.60	unsat
