28.32/31.60	unsat
