20.46/20.80	unsat
