29.81/33.94	unsat
