18.11/18.71	unsat
