29.77/29.85	unsat
