17.45/19.07	unsat
