17.66/18.71	unsat
