18.66/18.72	unsat
