22.60/25.60	unsat
