29.86/33.72	unsat
