18.66/18.86	unsat
