29.19/30.89	unsat
