29.69/29.97	unsat
