29.94/31.85	unsat
