29.45/29.62	unsat
