17.64/18.33	unsat
