19.37/20.24	unsat
