29.29/29.39	unsat
