17.75/19.07	unsat
