18.76/19.33	unsat
