18.28/20.80	unsat
