29.34/31.96	unsat
