29.86/33.56	unsat
