17.74/19.71	unsat
