17.16/19.04	unsat
