29.69/29.93	unsat
