29.47/29.56	unsat
