18.55/33.20	unsat
