29.79/29.83	unsat
