18.55/18.94	unsat
