18.55/18.78	unsat
