24.96/28.60	unsat
