17.40/19.33	unsat
