18.58/20.74	unsat
