29.39/29.43	unsat
